mutability premise

易变性前提